41. Positive systems :
پدیدآورنده : edited by James Lam, Yun Chen, Xingwen Liu, Xudong Zhao, Junfeng Zhang.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence, Congresses.,Control theory-- Computer programs, Congresses.,Positive systems, Congresses.,Computational intelligence.,Control theory-- Computer programs.,Engineering.,Positive systems.
رده :
QA402
.
L43x
v
.
480
42. Practical reliability engineering /
پدیدآورنده : Patrick P. O'Connor and Andre Kleyner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Reliability (Engineering)
43. Practice of Petri Nets in Manufacturing.
پدیدآورنده : Dicesare, F.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
TS155
.
6
D534
2013
44. Programming environments for massively parallel distributed systems.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
58
P764
1994
45. [Rough sets and current trends in computing] [4th international conference ; proceedings]
پدیدآورنده : [RSCTC 2004, Uppsala, Sweden, June 1-5, 2004. Shusaku Tsumoto ... (ed.)].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer vision.
46. SAFECOMP 95 the 14th International Conference on Computer Safety, Reliability, and Security, Belgirate, Italy, 11-13 October 1995
پدیدآورنده : ed. by Gerhard Rabe
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Datensicherung,Software,Zuverlässigkeit
47. Software Engineering and Environment :
پدیدآورنده : by Phillip C.-Y. Sheu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Object-oriented programming (Computer science),Software engineering.
48. Software Engineering for Resilient Systems :
پدیدآورنده : edited by Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
49. Specification and analysis of concurrent systems :
پدیدآورنده : Ryszard Janicki
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA76
.
58
R979
2012
50. System Fault Diagnostics, Reliability and Related Knowledge-Based Approaches :
پدیدآورنده : edited by Spyros Tzafestas, Madan Singh, Günther Schmidt.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,System safety.
رده :
TA169
.
6
E358
1987
51. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tiziana Margaria, Bernhard Steffen, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
52. VDM'91 Formal Software Development Methods :
پدیدآورنده : edited by S. Prehn, W.J. Toetenel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
53. شبیه سازی روبات چند منظوره با استفاده از شبکه های پتری و فازی
پدیدآورنده : /امیر مسعود جعفری
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع :
